next-state counter

下一状态计数器